Effecivity properties of intuitionistic set theory
نویسنده
چکیده
Let us consider two-sorted intuitionistic set theory ZFI2 with sort 0 for natural numbers and sort 1 for sets. We shall show that well-known Church rule with parameters of sort 1 is admissible in ZFI2 in some rather strong sense, and get from this point the admissibility of Markov rule with all parameters in ZFI2, and also DP and numerical EP with set parameters for it in the same sense.
منابع مشابه
On Fuzzy $e$-open Sets, Fuzzy $e$-continuity and Fuzzy $e$-compactness in Intuitionistic Fuzzy Topological Spaces
The purpose of this paper is to introduce and study the concepts of fuzzy $e$-open set, fuzzy $e$-continuity and fuzzy $e$-compactness in intuitionistic fuzzy topological spaces. After giving the fundamental concepts of intuitionistic fuzzy sets and intuitionistic fuzzy topological spaces, we present intuitionistic fuzzy $e$-open sets and intuitionistic fuzzy $e$-continuity and other results re...
متن کاملm-polar intuitionistic graphs and its properties
In many real world problems, data sometimes comes from n agents (n≥2), multipolar information exists. For issues that are associated with uncertainty, this information can not be showed with the values of crisp, fuzzy, intuitionistic or bipolar. Graph is one of the mathematical models widely used in different sciences. Ambiguity in a graph where data depends on the n parameter can not be showed...
متن کاملGroup Generalized Interval-valued Intuitionistic Fuzzy Soft Sets and Their Applications in\ Decision Making
Interval-valued intuitionistic fuzzy sets (IVIFSs) are widely used to handle uncertainty and imprecision in decision making. However, in more complicated environment, it is difficult to express the uncertain information by an IVIFS with considering the decision-making preference. Hence, this paper proposes a group generalized interval-valued intuitionistic fuzzy soft set (G-GIVIFSS) which conta...
متن کاملCorrelation coefficient of intuitionistic fuzzy sets
Based on the point of view of geometrical representation of an intuitionistic fuzzy set, we take into account all three parameters describing intuitionistic fuzzy set, propose a kind of new method to calculate correlation and correlation coefficient of intuitionistic fuzzy sets which is similar to the cosine of the intersectional angle in finite sets and probability space, respectively. Further...
متن کاملGeneralized interval-valued intuitionistic fuzzy Hamacher generalized Shapley Choquet integral operators for multicriteria decision making
The interval-valued intuitionistic fuzzy set (IVIFS) which is an extension of the Atanassov’s intuitionistic fuzzy set is a powerful tool for modeling real life decision making problems. In this paper, we propose the emph{generalized interval-valued intuitionistic fuzzy Hamacher generalized Shapley Choquet integral} (GIVIFHGSCI) and the emph{interval-valued intuitionistic fuzzy Hamacher general...
متن کامل